Mutually Testing Processes

Information System for Modular Certification Testing

Resources planning system for domain of modular certification testing is presented in this paper. In our domain, there are several independent resources owners and services providers, who together are able to provide their customers with service of certification testing. We are presenting concept of distributed system for supporting negotiation about the certification testing session’s life-cyc...

Probability of Mutually Commuting N-Tuples in Some Classes of Compact Groups

Mutually Testing Processes - (Extended Abstract)

In the standard testing theory of DeNicola-Hennessy one process is considered to be a refinement of another if every test guaranteed by the former is also guaranteed by the latter. In the domain of web services this has been recast, with processes viewed as servers and tests as clients. In this way the standard refinement preorder between servers is determined by their ability to satisfy client...

An Improved Token-Based and Starvation Free Distributed Mutual Exclusion Algorithm

Distributed mutual exclusion is a fundamental problem of distributed systems that coordinates the access to critical shared resources. It concerns with how the various distributed processes access to the shared resources in a mutually exclusive manner. This paper presents fully distributed improved token based mutual exclusion algorithm for distributed system. In this algorithm, a process which...

Tests of Independence and Randomness Based on the Empirical Copula Process

Deheuvels (1981a) described a decomposition of the empirical copula process into a finite number of asymptotically mutually independent sub-processes whose joint limiting distribution is tractable under the hypothesis that a multivariate distribution is equal to the product of its margins. It is proved here that this result can be extended to the serial case and that the limiting processes have...